perm filename XXX[1,JRA]1 blob sn#005837 filedate 1972-10-19 generic text, type T, neo UTF8
00100	G1: x⊗x = y⊗y;
00200	G2: x⊗(y⊗y) = x;
00300	F1: x⊗x=1;  F2: x⊗1 =x;
00600	G5:(x⊗z)⊗(y⊗z) = x⊗y;
00700	;